/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.transitionFormat;

import chameleon.model.game.Tag;
import java.io.File;

/**
 * This class is a wrapper for an smv transition.
 *
 * @author simon
 */
public class SmvTransition extends AbstractTransition {

    String transition_;

    public SmvTransition(String smvTrans){
        super(Tag.SMVTRANS);
        transition_ = smvTrans;
    }

    @Override
    public String getSmvTransition() {
        return transition_;
    }

    @Override
    public File getFile() {
        throw new UnsupportedOperationException("Not supported yet.");
    }

}
